verifying trigonometic identities